Modularity and Interpolation in a Development Workspace
نویسنده
چکیده
The potential beneets of a uniform version of interpolation are hindered by its absence from many expressive logics. This motivates a thorough investigation of appropriate expansions of known entailments so that an easy-to-derive, uniform presentation of the interpolants is supported. This paper presents the skeleton of a general construction and indicates that a potentially large class of entailments can be extended so that a uniform presentation of the interpolants is available.
منابع مشابه
Uniformity, Interpolation and Module Speciication in a Development Workspace
Interpolation and Schematic Reasoning are shown to underlie critical and somewhat complementary aspects of designing and (syntactically) manipulating speciication modules. In addition, the presence of a Uniform presentation of interpolants facilitates the speciication of modules. Also, the ability to encapsulate and manipulate Uniform Schemata may assist us in reasoning with (abstractions of) h...
متن کاملMining Overlapping Communities in Real-world Networks Based on Extended Modularity Gain
Detecting communities plays a vital role in studying group level patterns of a social network and it can be helpful in developing several recommendation systems such as movie recommendation, book recommendation, friend recommendation and so on. Most of the community detection algorithms can detect disjoint communities only, but in the real time scenario, a node can be a member of more than one ...
متن کاملVisual Servoing: Path Interpolation by Homography Decomposition
In order to successfully perform visual servoing of robot manipulators the control algorithm must account for the physical limitations of the manipulator. These constraints de ne the robot workspace boundary. Any visual servoing control algorithm must avoid this boundary if stability of motion is to be ensured. In this paper, a method is developed by which a desired object path can be interpola...
متن کاملInterval Analysis of Controllable Workspace for Cable Robots
Workspace analysis is one of the most important issues in the robotic parallel manipulator design. However, the unidirectional constraint imposed by cables causes this analysis more challenging in the cabledriven redundant parallel manipulators. Controllable workspace is one of the general workspace in the cabledriven redundant parallel manipulators due to the dependency on geometry parameter...
متن کاملFormal Properties of Modularisation
Modularity of ontologies is currently an active research field, and many different notions of a module have been proposed. In this paper, we review the fundamental principles of modularity and identify formal properties that a robust notion of modularity should satisfy. We explore these properties in detail in the contexts of description logic and classical predicate logic and put them into the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997